extremal 13 21
edge 1 2
edge 1 5
edge 1 7
edge 1 12
edge 2 9
edge 2 13
edge 3 4
edge 3 5
edge 3 10
edge 3 13
edge 4 7
edge 4 11
edge 5 6
edge 6 8
edge 6 9
edge 6 11
edge 7 8
edge 8 13
edge 9 10
edge 10 12
edge 11 12
